Can Regulatory Bodies Expect Efficient Help from Formal Methods?

In the context of EDEMOI - a French national project that proposed the use of semiformal and formal methods to infer the consistency and robustness of aeronautical regulations through the analysis of faithfully representative models- a methodology had been suggested (and applied) to different (safety and security-related) aeronautical regulations. This paper summarizes the preliminary results of this experience by stating which were the methodology s expected benefits, from a scientific point of view, and which are its useful benefits, from a regulatory body s point of view

Test-bed of a real time detection system for L/H and H/L transitions implemented with the ITMS platform

A basic requirement of the data acquisition systems used in long pulse fusion experiments is to detect events of interest in the acquired signals in real time. Developing such applications is usually a complex task, so it is necessary to develop a set of hardware and software tools that simplify their implementation. An example of these tools is the Intelligent Test and Measurement System (ITMS), which offers distributed data acquisition, distribution and real time processing capabilities with advanced, but easy to use, software tools that simplify application development and system setup. This paper presents the application of the ITMS platform to solve the problem of detecting L/H and H/L transitions in real time based on the use of efficient pattern recognition algorithms

Structural health monitoring network system with wireless communications inside closed aerospace structures

Structural Health Monitoring (SHM) requires integrated "all in one" electronic devices capable of performing analysis of structural integrity and on-board damage detection in aircraft?s structures. PAMELA III (Phased Array Monitoring for Enhanced Life Assessment, version III) SHM embedded system is an example of this device type. This equipment is capable of generating excitation signals to be applied to an array of integrated piezoelectric Phased Array (PhA) transducers stuck to aircraft structure, acquiring the response signals, and carrying out the advanced signal processing to obtain SHM maps. PAMELA III is connected with a host computer in order to receive the configuration parameters and sending the obtained SHM maps, alarms and so on. This host can communicate with PAMELA III through an Ethernet interface. To avoid the use of wires where necessary, it is possible to add Wi-Fi capabilities to PAMELA III, connecting a Wi-Fi node working as a bridge, and to establish a wireless communication between PAMELA III and the host. However, in a real aircraft scenario, several PAMELA III devices must work together inside closed structures. In this situation, it is not possible for all PAMELA III devices to establish a wireless communication directly with the host, due to the signal attenuation caused by the different obstacles of the aircraft structure. To provide communication among all PAMELA III devices and the host, a wireless mesh network (WMN) system has been implemented inside a closed aluminum wingbox. In a WMN, as long as a node is connected to at least one other node, it will have full connectivity to the entire network because each mesh node forwards packets to other nodes in the network as required. Mesh protocols automatically determine the best route through the network and can dynamically reconfigure the network if a link drops out. The advantages and disadvantages on the use of a wireless mesh network system inside closed aerospace structures are discussed

R gene regulation mediated by miRNA/phasiRNA during plant defense response against P. syringae

In plants, two main types of noncoding small RNA molecules have been found: microRNAs (miRNAs) and small interfering RNAs (siRNAs), differing these in their biogenesis and mode of action, but sharing similar sizes (20-24 nt). In plants, their mature forms are products of the activity of DCL proteins and can act as negative regulators of gene expression. In recent years, the role of miRNAs in regulation of gene expression in plant responses against bacterial pathogens is becoming clearer. Comparisons carried out in our lab between expression profiles of different Arabidopsis thaliana mutants affected in gene silencing, and plants challenged with Pseudomonas syringae pathovar tomato DC3000, led us to identify a set of uncharacterized R genes, belonging to the TIR-NBS-LRR gene family, as differentially expressed in these conditions. By bioinformatics tools, we found a miRNA* of 22 nt putatively responsible for down-regulating expression of these R genes. We have also found that the corresponding pri-miRNA is down-regulated after PAMP-perception. We demonstrate that plants with altered levels of this miRNA* (knockdown lines or overexpression lines) exhibit altered PTI-associated phenotypes, suggesting a role for this miRNA* in this defence response against bacteria. We have characterized the expression pattern of both primiRNA and its best target R genes. Finally, we identify phasiRNAs that arise from the transcript of this R gen in a miRNA*-RDR6-DCL4-dependent mannerUniversidad de Málaga. Campus de Excelencia Internacional Andalucía Tech

Implementation of intelligent data acquisition system for ITER fast controllers using RIO devices.

A basic requirement of the data acquisition systems used in long pulse fusion experiments is the real time physical events detection in signals. Developing such applications is usually a complex task, so it is necessary to develop a set of hardware and software tools that simplify their implementation. This type of applications can be implemented in ITER using fast controllers. ITER is standardizing the architectures to be used for fast controller implementation. Until now the standards chosen are PXIe architectures (based on PCIe) for the hardware and EPICS middleware for the software. This work presents the methodology for implementing data acquisition and pre-processing using FPGA-based DAQ cards and how to integrate these in fast controllers using EPICS

Regulación de genes de resistencia de la familia TIR-NBS-LRR mediada por miRNA/phasiRNA durante la interacción con P. syringae

Durante un estrés biótico, las plantas modulan la expresión de una batería de genes involucrados en la respuesta de defensa, proceso donde recientemente se ha determinado el papel esencial que desempeña el silenciamiento génico. El silenciamiento génico es un mecanismo de regulación de la expresión génica, donde destacan como principales moléculas efectoras los pequeños RNAs (sRNAs). En plantas, estos sRNAs, son clasificados en pequeños RNAs interferentes (siRNAs) o microRNAs (miRNAs), presentando tamaños similares (20-24 nt) pero difiriendo en su biogénesis y modo de acción. Los miRNAs son pequeños RNAs de cadena sencilla que actúan regulando negativamente la expresión de genes, mediante su unión al complejo RISC (Rna Induced Silencing Complex) y en una forma dependiente de secuencia. En nuestro laboratorio, mediante el análisis de datos transcriptómicos, y el uso de herramientas bioinformáticas, identificamos un miRNA* de 22 nt como potencial regulador de la expresión de genes de resistencia (“R”) del tipo TIR-NBS-LRR. Posteriormente hemos validado dicha regulación y caracterizado los patrones de expresión tanto del Pri-miRNA como de un gen “R” regulado por este, en diferentes tejidos y estadios del desarrollo, así como durante la interacción con P. syringae. Por otro lado, hemos generado plantas transgénicas que presentan niveles alterados del miRNA* (incremento y reducción) y hemos observado que muestran fenotipos alterados de PTI y una mayor/menor colonización de P. syringae. Finalmente hemos identificado la producción de sRNAs (phasiRNAs) a partir del gen de resistencia, en una forma dependiente de miRNA*-RDR6-DCL4, pudiendo estos sRNAs secundarios regular otros transcritos de la misma familia de genes de resistencia.Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech

A randomized phase II clinical trial of dendritic cell vaccination following complete resection of colon cancer liver metastasis

Surgically resectable synchronic and metachronic liver metastases of colon cancer have high risk of relapse in spite of standard-of-care neoadjuvant and adjuvant chemotherapy regimens. Dendritic cell vaccines loaded with autologous tumor lysates were tested for their potential to avoid or delay disease relapses (NCT01348256). Patients with surgically amenable liver metastasis of colon adenocarcinoma (n = 19) were included and underwent neoadjuvant chemotherapy, surgery and adjuvant chemotherapy. Fifteen patients with disease-free resection margins were randomized 1:1 to receive two courses of four daily doses of dendritic cell intradermal vaccinations versus observation. The trial had been originally designed to include 56 patients but was curtailed due to budgetary restrictions. Follow-up of the patients indicates a clear tendency to fewer and later relapses in the vaccine arm (median disease free survival –DFS-) 25.26 months, 95% CI 8. 74-n.r) versus observation arm (median DFS 9.53 months, 95% CI 5.32–18.88)

Exosomes derived from mesenchymal stem cells enhance radiotherapy-induced cell death in tumor and metastatic tumor foci

We have recently shown that radiotherapy may not only be a successful local and regional treatment but, when combined with MSCs, may also be a novel systemic cancer therapy. This study aimed to investigate the role of exosomes derived from irradiated MSCs in the delay of tumor growth and metastasis after treatment with MSC + radiotherapy (RT). The tumor cell loss rates found after treatment with the combination of MSC and RT and for exclusive RT, were: 44.4% % and 12,1%, respectively. Concomitant and adjuvant use of RT and MSC, increased the mice surviving time 22,5% in this group, with regard to the group of mice treated with exclusive RT and in a 45,3% respect control group. Moreover, the number of metastatic foci found in the internal organs of the mice treated with MSC + RT was 60% less than the mice group treated with RT alone. We reasoned that the exosome secreted by the MSC, could be implicated in tumor growth delay and metastasis control after treatment. Our results show that exosomes derived form MSCs, combined with radiotherapy, are determinant in the enhancement of radiation effects observed in the control of metastatic spread of melanoma cells and suggest that exosome-derived factors could be involved in the bystander, and abscopal effects found after treatment of the tumors with RT plus MSC. Radiotherapy itself may not be systemic, although it might contribute to a systemic effect when used in combination with mesenchymal stem cells owing the ability of irradiated MSCs-derived exosomes to increase the control of tumor growth and metastasis.This work was supported by CNPq, Conselho Nacional de Desenvolvimento Científico e Tecnológico – Brasil, Junta de Andalucía, project of Excellence from Junta de Andalucía P12-CTS-383 to FJO, Spanish Ministry of Economy and Competitiveness SAF2015-70520-R to FJO and JMRdA, RTICC RD12/0036/0026 and CIBER Cáncer ISCIII CB16/12/00421 to FJO